ADL & PDDL for UI interaction model

In this section, we define our environment with Description Language and discuss about it.

Partial-Order Planing

In POP (Partial-Order Planing), the domain is described with:

Ordering contraints A set of ordering constraints. Each ordering constraint is of the form A < B, which is read as "A before B" and means that action A must be executed sometime before action B.

Causal links Achieves

Conflicts

Open preconditions A set of open preconditions.